textyl.tex
tylman.dvi
tylman.tex
tylout.dvi